翻訳と辞書
Words near each other
・ console jockey
・ consortium for lexical research
・ constant angular velocity
・ constant applicative form
・ constant folding
・ constant linear velocity
・ constant mapping
・ constantine/yourdon
・ constraint
・ constraint functional programming
constraint handling in prolog
・ constraint logic programming
・ constraint satisfaction
・ constraintlisp
・ constraints
・ constructed type
・ constructive
・ constructive cost model
・ constructive solid geometry
・ constructor


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

constraint handling in prolog : FOLDOC
Constraint Handling In Prolog
(CHIP) A constraint logic programming language developed by M. Dincbas at ECRC, Munich, Germany in 1985 which includes {Boolean unification} and a symbolic simplex-like algorithm. CHIP introduced the {domain-variable model}.
["The Constraint Logic Programming Language CHIP", M. Dincbas et al, Proc 2nd Intl Conf on Fifth Generation Computer Sys, Tokyo (Nov 1988), pp.249-264].
["Constraint Satisfaction in Logic Programming", Van Hentenryck. Available from COSYTEC, 4 rue Jean Rostand, F91893 Orsay, France].
(1994-11-15)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.